#if !defined (_DPMILOCK_H_)
#define _DPMILOCK_H_

extern void dpmi_lock_memory (void *start, unsigned long num_bytes);

#endif /* !_DPMILOCK_H_ */
